\begin{problema}{infoGateways}{t: TelCO}{[(Gateway,\ent,\ent)]}
	\asegura{\longitud{result}== \longitud {Gateways(t)}}
	\asegura[perteneceaGateways]{(\forall i \selec
	[0..\longitud{result}))prm(result_i) \in Gateways(t)}
	\asegura[prmResultadoDistintos]{(\forall i,j \selec [0..\longitud
	{result}, i\not = j)prm(result_i) \neq prm(result_j)}
	\asegura[cantTrivias]{(\forall i \selec [0..\longitud
	{result}))sgd(result_i) ==
	\longitud{trivias(prm(result_i))}}
	\asegura[cantUsuarios]{(\forall i \selec [0..\longitud {result}))trc(result_i)
	== \longitud  {sacarRepetidos(participantesConRepetidos(prm(result_i)))}}
	\asegura[respuestaOrdenada]{(\forall i \selec [1..
	\longitud{result}))trc(result_{i-1}) \geq trc(result_i)} \medskip	
\end{problema}

\begin{aux}{participantesConRepetidos}{g:Gateway}{[Usuarios]}{
 \comp {p}{t \selec trivias(g), p \selec participantes(t) }}
\end{aux}

% Aprobado por Lea Lunes 26 Septiembre